Concurrent Semantics for the π-calculus1 1Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.

AbstractIn this paper we give both operational and abstract concurrent semantics for the π-calculus (a process algebra with the ability of handling channels as messages [23]) and discuss their consistency. For the operational semantics [15,6];, for the abstract semantics we introduce interleaving, partial ordering and mixed ordering observations, define the corresponding bisimulation relations and discuss them